تعداد ۲۶ پاسخ غیر تکراری از ۲۶ پاسخ تکراری در مدت زمان ۰,۴۷ ثانیه یافت شد.

1. A layered declarative approach to ontology translation with knowledge preservation

پدیدآورنده: Corcho, Oscar

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Knowledge representation )Information theory(,، Conceptual structures )Information theory(,، Ontology,Syntax ، Programming languages )Electronic computers(,، Database design,، Expert systems )Computer science(

رده :

Q

387

.

C67

2005

2. ACM Turing Award lectures :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

رده :

QA76

.

24

.

A33

1987

3. Advances in computers.

پدیدآورنده: edited by Franz L. Alt and Morris Rubinoff.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :

QA76

.

A3eb

vol

.

5

4. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987

پدیدآورنده: Casimir A. Kulikowski, Huber, Gabriel A. Ferrate

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

9

.

C65I46

1987

5. Computers and languages: Theory and Practice

پدیدآورنده: Anton, Nijholt

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Electronic digital computers- Programming,Programming language (Electronic Computer)

رده :

QA

،

76

.

6

،.

N55

،

1988

6. Computers and languages : theory and practice

پدیدآورنده: Nijholt, Anton, 6491-

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer programming,، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

N55

1988

7. Constraint Solving and Language Processing

پدیدآورنده: edited by Denys Duchier, Yannick Parmentier.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

8. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

پدیدآورنده: Joao Leite... ]et al.[

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming

رده :

QA

76

.

L28

Vol

.

3476

9. Declarative agent languages and technologies V

پدیدآورنده: / Matteo Baldoni ... [et al.] (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses

رده :

QA

,

76

.

76

,.

I58

,

D43

,

2007

10. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers

پدیدآورنده: Joao Leite...]et al.[

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(

رده :

QA

76

.

L28

Vol

.

2990

11. Exploring Robotics with ROBOTIS Systems

پدیدآورنده: Chi N. Thai

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science. , Programming languages (Electronic computers) , Artificial intelligence.

رده :

E-Book

,

12. It's all about coordination :

پدیدآورنده: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

58

.

I87

2018eb

13. Language, logic, and computation :

پدیدآورنده: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :

QA76

.

9

.

L63

14. Logic, language, and computation

پدیدآورنده: / Balder D. ten Cate, Henk W. Zeevat (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

رده :

QA

,

76

.

9

,.

L63

,

I565

,

2005

15. Meta - Levels Architectures and Reflection

پدیدآورنده: Edited by Patie MAES, Daniele NARDI

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)

رده :

QA

،

76

.

7

،.

M48

،

1988

16. Meta-level architectures and reflection

پدیدآورنده: edited by Pattie Maes, Daniel Nardi

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(

رده :

QA

76

.

7

.

M48

1988

17. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings

پدیدآورنده: Pierre Cointe )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

رده :

QA

76

.

L28

Vol

.

1616

18. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings

پدیدآورنده: Akinori Yonezawa, Satoshi Matsuoka )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

رده :

QA

76

.

L28

Vol

.

2192

19. Multiparadigm constraint programming languages /

پدیدآورنده: Petra Hofstedt

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science

رده :

QA76

.

6

.

H64

2011

20. Multiparadigm constraint programming languages /

پدیدآورنده: Petra Hofstedt

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science

رده :

QA76

.

6

.

H64

2011

»
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است